Books by author Burkhart Wolff

Showing 1 – 6 out of 6 results

1. 

   Theorem Proving in Higher Order Logics

   David Basin, Burkhart Wolff | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2003

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.61 €

   Sale 7 %

   You save 4.27 €

   Buy
2. 

   Tests and Proofs

   Martin Gogolla, Burkhart Wolff | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   Low in stock at our supplier - Shipping in 14 - 21 days

   Language: English

   Binding: Paperback

   55.95 €

   Buy
3. 

   Theorem Proving in Higher Order Logics

   David Basin, Burkhart Wolff | Springer Nature B.V., 2014

   
   

   In stock at our supplier - Shipping in 10 - 18 days

   Language: English

   Binding: Paperback

   56.86 €

   Sale 0 %

   You save 0.01 €

   Buy
4. 

   Testing Software and Systems

   Burkhart Wolff, Fatiha Zaidi | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   In stock at our supplier - Shipping in 14 - 21 days

   Language: English

   Binding: Paperback

   55.95 €

   Buy
5. 

   Tests and Proofs

   Catherine Dubois, Burkhart Wolff | Springer International Publishing AG, 2018

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.61 €

   Sale 7 %

   You save 4.27 €

   Buy
6. 

   Formal Approaches to Software Testing and Runtime Verification

   Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.61 €

   Sale 7 %

   You save 4.27 €

   Buy

Free shipping for orders over 59.99 €. Find out more